A Further Note on Inductive Generalization
نویسنده
چکیده
In this paper, we develop the algorithm, given in Plotkin (1970), for finding the least generalization of two clauses, into a theory of inductive generalization. The types of hypothesis which can be formed are very simple. They all have the form: (x)Pxm Qx. We have been guided by ideas from the philosophy of science, following Buchanan (1966). There is no search for infallible methods of generating true hypotheses. Instead we define (in terms of first-order predicate calculus) the notions of data and evidence for the data. Next, some formal criteria are set up for a sentence to be a descriptive hypothesis which is a good explanation of the data, given the evidence. We can then look for the best such hypothesis. Although this problem is insoluble in general, some soluble subcases can be distinguished. We programmed one of these and tried some examples.
منابع مشابه
Generalization of Clauses under Implication 2
In the area of inductive learning, generalization is a main operation, and the usual deenition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation-subsumption instead of implication. The main reason is that ...
متن کاملGeneralization of Clauses under Implication
In the area of inductive learning, generalization is a main operation, and the usual deenition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation-subsumption instead of implication. The main reason is that ...
متن کاملCurried least general generalization: A framework for higher order concept learning
Continued progress with research in inductive logic programming relies on further extensions of their underlying logics. The standard tactics for extending expressivity include a generalization to higher order logics, which immediately forces attention to the computational complexity of higher order reasoning. A major thread of inductive logic programming research has focussed on the identiicat...
متن کاملAnalysis of Inner Surface Roughness Parameters of Load-carrying and Support Elements of Mechanical Systems (RESEARCH NOTE)
Physical and mechanical regularities in the effect of certain processing operations on the shape and roughness of the hydraulic cylinder surface are found. The mechanisms of the spatial self-organization of the relief and surface of bearings under conditions of false brinelling are summarized and analyzed. The data obtained can be used for further scientific generalization or prediction and dia...
متن کامل